Theorems on Primitive roots